I posted in the VirtualBox Community forum (at https://forums.virtualbox.org/viewtopic.php?f=7&t=87387) and they referred me to here.
I posted in the VirtualBox Community forum (at https:/ /forums. virtualbox. org/viewtopic. php?f=7& t=87387) and they referred me to here.