remove remnants of POSIX_TIMERS option