compcert: partially fix test