Install file for CompCert 2.0.0