Experiments to use the latest `coq_makefile` for OPAM.