Delete platform.h