Try to please travis by using a PPA