Update OSTPlatformLinux-x86.h