Make replace-conflicting-symbols actually skip if run second time.