adapt to RezkCompletion:proj-from-precat changes