fix settings on Travis CI