Update OS.h