remove the options.xml file since now is easy to generate it