sys\$$library:trace.exe \
--- gcc-4.7.1/libada/Makefile.in.orig 2012-06-12 17:12:37.000000000 +0200
+++ gcc-4.7.1/libada/Makefile.in 2012-07-12 18:27:53.482408144 +0200
-@@ -53,7 +53,7 @@
+@@ -59,7 +59,7 @@
CFLAGS=-g
PICFLAG = @PICFLAG@
GNATLIBFLAGS= -W -Wall -gnatpg -nostdinc