fixes setup steps for Travis CI