Update pbOS.h