install/uninstall.sh: adjustments to vagrant uninstall