fix platform.h bugs