Fix a bug on windows