DBTool: return an error if asked to process an unknown file