fixes to rename_gimple.py