Fix travis ci file hopefully