Convert this input file to symbolic names as well.