Fix travis-ci settings