Fix TravisCI script