configure for Travis CI