easier virtualbox repair after update