Make it safe to run vbox_update.sh with VMware boxes.