build-many-glibcs.py: Use Linux 5.2 by default