diff -r eefacabd9e72 -r 4009fc9c47d5 scripts/functions
--- a/scripts/functions	Wed Aug 11 20:07:18 2010 +0200
+++ b/scripts/functions	Mon Oct 04 00:16:56 2010 +0200
@@ -79,7 +79,7 @@
     if [ $# -eq 0 ]; then
         cat -
     else
-        printf "${*}\n"
+        printf "%s\n" "${*}"
     fi |( IFS="${CR}" # We want the full lines, even leading spaces
           _prog_bar_cpt=0
           _prog_bar[0]='/'