Let's commit it anyway, since it's rather useful until the real fix is...

Let's commit it anyway, since it's rather useful until the real fix is available, and a lot of people seems to be using it

Rev: src/post_modules/GTK/Makefile.in:1.4
Rev: src/post_modules/GTK/configure.in:1.7
Rev: src/post_modules/GTK/make.pike:1.1