Fix a bug in Windows on file separators