Install files added for contrib:compcert