removing rbcl from soot_options.xml