fix linux crash at exit in Virtualbox VM