Fix travis config file