fix build under Windows