Remove debug-option from yade-batch.