configuration for Travis CI