Fix Travis CI setting file