remove a now-unused section of or.h