Fix travis config problem