Delete wsr_platform.h