trying to fix broken travis file