ostype for vboxmanage needed fixing