fix header and PLATFORM_NAME