--- options.c	2006-02-08 03:57:44.000000000 +0100
+++ options.c.oden	2009-10-05 13:24:26.000000000 +0200
@@ -159,7 +159,7 @@ void options_set_defaults() {
 }
 
 static void die(char *msg) {
-    fprintf(stderr, msg);
+    fprintf(stderr, "%s", msg);
     exit(1);
 }