fix build issues on ubuntu