Small improvement in get_real_os_version() function.