CompCert: update to 2.4