Improved get_real_os_version() function. Now also detects the real build number.