Update OSTPlatform.h