fixed a compilation problem on windows