dtc_list_files.pl + patched JSON-RPC client