Tweaking the travis build.