Permit symbols to be superseded when new symbol files have