Delete options.properties