fix broken travis file