The recent DUMMY_PROCS patch broke accounting for the number of semaphores

needed.  This caused us to fail all the time on Darwin, and we'd fail for
some values of maxBackends on SysV-sema platforms, too.