diff --git a/.hgignore b/.hgignore
index e5e27ee..194a39e 100644
--- a/.hgignore
+++ b/.hgignore
@@ -5,4 +5,4 @@
 .vscode
 docs/.ipynb_checkpoints
 test/*
-
+thun
diff --git a/thun/gnu-prolog/Makefile b/thun/gnu-prolog/Makefile
index a14a6c4..9046d46 100644
--- a/thun/gnu-prolog/Makefile
+++ b/thun/gnu-prolog/Makefile
@@ -1,6 +1,6 @@
-
+GPLC_OPTIONS="--min-size"
 
 thun: thun.pl
-	gplc -o thun thun.pl
+	gplc $(GPLC_OPTIONS) -o thun thun.pl