fix virtualbox installation on mac os x