Fixed installation of CompCert