a half-hearted attempt to fix the automation of the compilation of coq83patched