minor tweaks to the travis setup