Merge platform_ files with platform_exec.c files