Delete default_options.json