Я предлагаю вам использовать текущую стабильную версию Virtualbox, доступную здесь: https://www.virtualbox.org/wiki/Downloads
Virtualbox может импортировать и экспортировать любые файлы OVF / OVA, созданные другими версии VirtualBox.
Детали импорта: https://www.virtualbox.org/wiki/Downloads
Сведения об экспорте: https: // www. virtualbox.org/manual/ch08.html#vboxmanage-export