Fix TravisCI installation