fix build on ubuntu