x86_64: VBoxPuelCrypto.so VBoxPuelMain.so VBoxPuelMainVM.so VBoxUsbCardReaderR3.so VBoxVRDP.so VDPluginCrypt.so
