diff -Naur alliance-5.0/documentation/alliance-examples/mipsR3000/sce/Makefile test-64/alliance-examples/mipsR3000/sce/Makefile
--- alliance-5.0/documentation/alliance-examples/mipsR3000/sce/Makefile	2004-07-30 02:40:09.000000000 +0200
+++ test-64/alliance-examples/mipsR3000/sce/Makefile	2009-06-14 03:12:56.000000000 +0200
@@ -119,7 +119,7 @@
       LVX = $(MBK_EXTRACT_ENV); $(ALLIANCE_BIN)/lvx
     PROOF = $(MBK_EXTRACT_ENV); $(ALLIANCE_BIN)/proof
      RING = $(MBK_GENERAT_ENV); $(ALLIANCE_BIN)/ring
-    DPGEN = $(MBK_GENERAT_ENV); $(ALLIANCE_BIN)/genlib
+    DPGEN = $(MBK_GENERAT_ENV); $(ALLIANCE_BIN)/genlib --keep-exec --verbose
     OCP   = $(MBK_GENERAT_ENV); $(ALLIANCE_BIN)/ocp -v -gnuplot
     OCR   = $(MBK_GENERAT_ENV); $(ALLIANCE_BIN)/ocr
     NERO  = $(MBK_GENERAT_ENV); $(ALLIANCE_BIN)/nero -V