fix broken travis file.