diff -up libint-1.1.5/src/bin/libderiv/build_libderiv.c.printf libint-1.1.5/src/bin/libderiv/build_libderiv.c
--- libint-1.1.5/src/bin/libderiv/build_libderiv.c.printf	2013-05-15 18:39:25.000000000 +0300
+++ libint-1.1.5/src/bin/libderiv/build_libderiv.c	2013-12-03 11:20:31.720733014 +0200
@@ -289,7 +289,7 @@ int main()
 
 void punt(char* str)
 {
-  printf(str);
+  printf("%s",str);
   exit(1);
 }
 
diff -up libint-1.1.5/src/bin/libint/build_libint.c.printf libint-1.1.5/src/bin/libint/build_libint.c
--- libint-1.1.5/src/bin/libint/build_libint.c.printf	2013-05-15 18:39:25.000000000 +0300
+++ libint-1.1.5/src/bin/libint/build_libint.c	2013-12-03 11:19:07.145986395 +0200
@@ -219,7 +219,7 @@ int main()
 
 void punt(char* str)
 {
-  printf(str);
+  printf("%s",str);
   exit(1);
 }
 
diff -up libint-1.1.5/src/bin/libr12/build_libr12.c.printf libint-1.1.5/src/bin/libr12/build_libr12.c
--- libint-1.1.5/src/bin/libr12/build_libr12.c.printf	2013-05-15 18:39:25.000000000 +0300
+++ libint-1.1.5/src/bin/libr12/build_libr12.c	2013-12-03 11:19:45.482965729 +0200
@@ -195,7 +195,7 @@ int main()
 
 void punt(char* str)
 {
-  printf(str);
+  printf("%s",str);
   exit(1);
 }