fix bug in VirtualBox version check