patch 7.4.1409
Problem:    Configure includes GUI despite --disable-gui flag.
Solution:   Add SKIP_GTK3. (Kazunobu Kuriyama)
diff --git a/src/configure.in b/src/configure.in
index 930278c..acbccde 100644
--- a/src/configure.in
+++ b/src/configure.in
@@ -2207,6 +2207,7 @@
 
 dnl Skip everything by default.
 SKIP_GTK2=YES
+SKIP_GTK3=YES
 SKIP_GNOME=YES
 SKIP_MOTIF=YES
 SKIP_ATHENA=YES