Unblock gappalib-coq and frama-c (thanks Jerry James).