New versions of CompCert added