tweaks to travis system