virtualbox.org

I've followed Princeton's tutorial to configure the Mininet VM. In particular I've used the VBoxManage to set some guest ssh properties, for example: .
Later I've deleted the VM, and now I am unable to reload it. The exact error I get is: VERR_VD_VDI_INVALID_HEADER.

I am thinking I am having the above error because the extradata set by the VBoxManage command remains for "Mininet-VM" while the ovf/vmdk file does not contain such info. I can't unset the extradata because the VM name no longer exists in the registry.

Is there a way I can either remove extradata of a non-existent VM, or change the name of the VM within the ovf/vmdk?

My guesses were incorrect - it turned out that the ovf (mininet-2.1.0-130919-ubuntu-13.04-server-i386-ovf.zip) was simply incompatible with the VirtualBox version (4.3.2). I verified this by observing the same error code with VirtualBox 4.3.2 on a different host, and also by installing an older version (4.2.18) that loaded mininet 2.1 correctly.
Now I don't know how it worked on 4.3.2 in the first place, but won't spend more time investigating that.