fix build problem on debian