diff --git a/src/post_modules/GTK/make.pike b/src/post_modules/GTK/make.pike
deleted file mode 100644
index e04ab925250ca677228ecf259315aa50eb4c2a52..0000000000000000000000000000000000000000
--- a/src/post_modules/GTK/make.pike
+++ /dev/null
@@ -1,13 +0,0 @@
-string process_argv( string from )
-{
-  if( from == "wj" ) return 0;
-  if( from == "w" ) return 0;
-  if( from == "--") return 0;
-  if( from == "1") return 0;
-  return replace( from , "-g", "" );
-}
-
-int main( int argc, array argv )
-{
-  exit(Process.create_process( map( argv[1..], process_argv ) -({0}) )->wait());
-}