Windows is picky about the file extension