Add Compcert 2.1 (new formula)