deleting platform.h