Actually, since the patch applies to some C sources, not Ada, I do not think BinNMUs are required anymore. The BinNMUs are only required if changing Ada source because of Ada's rules about consistency at the source level. These rules do not apply to C, obviously. I'll upload a new version of gnat-4.4 with this fix during the weekend. -- Ludovic Brenta.