[BUG #7246] optionally set JSON file name using command line argument