Delete default_options.js