updated platform.h