modify for Travis CI