I recently understood that Frama-C has modified the CIL codebase for its own purposes. So in fact this should really be a wishlist item to see the original CIL codebase packaged, not Frama-C's CIL. -- Guillaume Yziquel