All usage of cyclic semaphores has been replaced by non-cylic barriers,
except in the disabled test r01252 that absolutely needs one. It still
passes when run with the proper requirements.