// This is a dummy file.
// A file of this name is needed on Windows