Remove a very obsolete script.