fix build under linux