[Projects] [nolimips: 133] Rename dev/inst-makefile-gen.py