Repairing IC pins