Tweak lang/gnat-aux version 20130412