minor fixes in travis install.sh