patching file scripts/build-many-glibcs.py