minor tweaks on the travis configuration.