Remove obselete vermagic tool