Fix cl-bordeaux-threads bug 762529.