Update and rename os_platform.php to function_OS.php