--- source/Makefile.in.orig	2009-09-30 14:21:56.000000000 +0200
+++ source/Makefile.in	2010-04-03 17:40:09.000000000 +0200
@@ -21,6 +21,7 @@
 CC=@CC@
 SHLD=@SHLD@
 CFLAGS=@CFLAGS@
+CFLAGS+=-DAVM_NO_PRINTING -DAVM_SMALLER
 CPPFLAGS=-DHAVE_CONFIG_H @CPPFLAGS@
 EXEEXT=@EXEEXT@
 AR=@AR@