PBI-9 Approval: virtualbox 4.2.12 (amd64)