More tweaks for travis