Add PLATFORM_NAME strings to file_ext.h