pic_add_rename doesn't have to keep the renamed symbols uninterned