Tweaks for travis.