indextool throws a FATAL error when distributed index are present in manitcore.json

I am not sure if this is a bug or if there is a way to work around it. If you have some rtindex and some distributed index, and try to run indextool, it will fail with this error. If you drop distributed index, indextool works fine. I guess the distribute index in manticore.json does not contain the path property.

FATAL: failed to use JSON config /var/lib/manticore//manticore.json: “path” property missing

seems bug - could you create ticket at github ?