checking if the tool.rb file is correctly removed