for Travis CI