Issue #7272, continued: don't re-use existing HAVE_BROKEN_POSIX_SEMAPHORES