Fix broken output in mandelbrot benchmark

This benchmark broke when unicode support was introduced.  It was fixed
once, but somehow seems to have reverted to its broken version (maybe when
we imported from CVS?).

benchmarks/progs/mandelbrot/mandelbrot.m:
    Re-fix the benchmark.