Fix build under Windows