tweak for travis-ci