Fix TravisCI build