Fix broken travis file