build-many-glibcs.py: Fix hurd-vcs checkout