default options.json file renamed