More tweaks to the travis file.