x86_64: VBoxPuelMain.so VBoxPuelMainVM.so
