fix build under debian