Make GenerateFileEnum.py work right under Windows