some fix to adapt examples/mandelbrot