update to VirtualBoxSDK-4.2.12-84980