Fix TravisCI configuration