Some tweaks to the travis setup.