Bugfix against compilation error under Windows