more minor tweaks for travis-ci