Confused by the latest VirtualBox update. When mounting VirtualBox-4.1.12-77245-OSX.dmg, the volume is empty…