--- gnattools/configure.orig 2020-03-04 19:30:02.000000000 +1100 +++ gnattools/configure 2020-09-07 17:06:02.554937000 +1000 @@ -2047,6 +2047,11 @@ mlib-tgt-specific.adb