Fix with-rocq-wrap when called from unexpected directory

Fix with-rocq-wrap when called from unexpected directory #4400