Correct build-many-glibcs.py arm-linux-gnueabihf configurations.