platform_external_mksh