Fix travis config once again