Default options.json file added again.