minor tweaks to travis/script.sh