install-osrf.sh: more tweaks