[galaxy-user] Tools won't go away even after deleting it from tool_conf.xml