fixed in trunk - we now use printf instead of echo, since it appears to be much more cross-platform compatible.
fixed in trunk - we now use printf instead of echo, since it appears to be much more cross-platform compatible.