fix build on debian