tweak for travis ci