--- base/mclib.c.dist	2003-06-14 12:18:31.000000000 +0200
+++ base/mclib.c	2003-06-14 12:18:21.000000000 +0200
@@ -473,13 +473,12 @@
 }
 #line 1016 "mclib.nw"
 static void label_print(struct label *label) {
-  asmprintf(asmprintfd, "%s", label->name ? label->name : "???");
+  asmprintf(stdout, "%s", label->name ? label->name : "???");
 }
 #line 1022 "mclib.nw"
 typedef void (*asmprinter)(void *closure, const char *fmt, ...);
 extern int fprintf(FILE *stream, const char *fmt, ...); /* needed at Purdue -- ugh */
 void (*asmprintf)(void *closure, const char *fmt, ...) = (asmprinter) fprintf;
-void *asmprintfd = (void *)stdout;
 void (*asmprintreloc)(RAddr reloc) = reloc_print; /* calls asmprintf */
 #line 79 "reloc.nw"
 RAddr addr_new(label, offset) RLabel label; int offset; {
@@ -493,8 +492,8 @@
 #line 100 "reloc.nw"
 static void reloc_print(RAddr addr) {
   label_print(addr->label);
-  if (addr->offset > 0) asmprintf(asmprintfd, "+%d", addr->offset);
-  if (addr->offset < 0) asmprintf(asmprintfd,  "%d", addr->offset);
+  if (addr->offset > 0) asmprintf(stdout, "+%d", addr->offset);
+  if (addr->offset < 0) asmprintf(stdout,  "%d", addr->offset);
 }
 #line 113 "reloc.nw"
 RAddr unsigned_to_raddr(unsigned lc) {