rename_c_identifier.py: bug when doing only one replacement.