Provisionally fix generated symbol PNames in tokenMaps