CompCert package removed