fix build issue under Windows