Benches with unstable versions of Coq