Configuration for Travis CI