problem with 64-bit guests on VirtualBox after latest updates