resolve a compilation error in Windows