add platform.h