setup for Travis CI