Как конвертировать файл VirtualBox VDI в VMware vdmk?

Я использую VirtualBox 2.1.4 и хочу преобразовать файл VDI, чтобы загрузить его в VMware Player (3.0.0 сборка-197124 на Vista Home Premium).

Я думаю, что могу изменить формат VDI на vmdk с помощью инструмента, предоставляемого VirtualBox:

VBoxManage clonehd /vboxdata/old.vdi /vmwaredata/new.vmdk -format VMDK

Также можно получить файл vmdk с помощью:

qemu-img.exe convert -O vmdk hdd.vdi hdd.vmdk

Но это не создает файл vmx, который нужен VMware Player. Как мне получить этот файл?

В информационных целях в VMware Converter 4.0.1 говорится, что поддерживаемые образы резервных копий или виртуальные машины сторонних производителей:

Microsoft Virtual PC 2004 или 2007

Microsoft VirtualServer 2005

Parallels Desktop 2.5, 3.0 или 4.0 для Mac

Консолидированная резервная копия VMware

Восстановление системы Symantec Backup Exec 6.5, 7.0, 8.0

Восстановление прямой трансляции Symantec 3/6

Версии Norton Ghost с 9 по 14

Резервное копирование Acronis True Image

Рабочий стол ShadowProtect, сервер, SBS, ИТ и т.д. версии от 2.0 до 3.2