Fix TravisCI build script