Update os_platform.php