Compcert 2.4

What it says on the tin.