a few more tweaks for travis