fix virtualbox #12879