Try to fix build in Ubuntu PPA