failed to save the settings of the virtual machine-solved

[airwrck]

simply deleted the .vbox-tmp and .vbox files (actually moved them to an "old settings" folder), changed the Settings in VirtualBox, and re-saved them.