mandelbrot: synchronization bug fix