updates for platform.h