Fix virtualbox ostype