diff --git a/examples/phrasebook/Makefile2 b/examples/phrasebook/Makefile2
index 71f59279f..005c8f35b 100644
--- a/examples/phrasebook/Makefile2
+++ b/examples/phrasebook/Makefile2
@@ -22,7 +22,7 @@ PhrasebookDut.pgf::
 	gf -make -s -optimize-pgf -name=PhrasebookDut PhrasebookDut.gf
 
 PhrasebookFin.pgf::
-	gf -make -s -optimize-pgf -name=PhrasebookFin PhrasebookFin.gf
+	gf -make -s -optimize-pgf -name=PhrasebookFin PhrasebookFin.gf +RTS -K32M
 
 PhrasebookFre.pgf::
 	gf -make -s -optimize-pgf -name=PhrasebookFre PhrasebookFre.gf