ibiblio default URL

[Gintautas Grigelionis]

Please correct me, but it appears that https://repo1.maven.org -- which is
hardcoded in multiple places -- has become https://repo.maven.apache.org.
The patch is on the way...

Gintas