It leads to ocamlfind being upgraded and downgraded all the time, which leads to Coq being recompiled.