Make the JSON output filename configurable.