fixup "vbox: update to virtualbox 4.3.16"