Attempt to fix broken travis file