diff -rupN gcc-6.3.0-A/gnattools/Makefile.in gcc-6.3.0-B/gnattools/Makefile.in
--- gcc-6.3.0-A/gnattools/Makefile.in	2016-04-04 18:37:58.000000000 +0200
+++ gcc-6.3.0-B/gnattools/Makefile.in	2017-12-06 15:15:01.000000000 +0100
@@ -52,7 +52,7 @@ WARN_CFLAGS = @warn_cflags@
 ADA_CFLAGS=@ADA_CFLAGS@
 
 # Variables for gnattools.
-ADAFLAGS= -gnatpg -gnata
+ADAFLAGS= -gnata
 
 # For finding the GCC build dir, which is used far too much
 GCC_DIR=../gcc