added file platform.h