Re: [PATCH] makedumpfile: speed up executing using --num-threads options