Patch up travis file