Tweaks for travis