Patch up travis config