tweaks for travis-ci