Upgraded GMP version to 6.0.0a; added GLIBC download.