I have committed a proposed change to gcc-base-version.diff as revision 7691. I will try to experiment with this and gnat-4.9 when I have time and will not upload before doko approves of this change. -- Ludovic Brenta.