Update ump_platform.h