tune for Travis CI