Update to virtualbox 4.3.12