Isolated Compcert stuff from our stuff (different licensing)