Fix travis-ci file