diff -r 3c28b9f917d2 -r 0a44fc4d6bd0 scripts/functions
--- a/scripts/functions	Wed May 27 21:07:37 2009 +0000
+++ b/scripts/functions	Sun Aug 02 20:06:44 2009 +0200
@@ -79,7 +79,7 @@
     if [ $# -eq 0 ]; then
         cat -
     else
-        echo "${@}"
+        printf "${@}\n"
     fi |( IFS="${CR}" # We want the full lines, even leading spaces
           _prog_bar_cpt=0
           _prog_bar[0]='/'