fix OS names to virtualbox