You no longer have to set up using the VMware files. Instead download the .osa file on sourceforge and then use Virtualbox’s import application feature. It should be under file next to new application.