Delete gimptools.rb~