Update to 0.12, upgrade vbox 3.4.12, bring back choices
minor 0.12.0 change