update GMP url to download .bz2 archive instead of .xz archive. Inaugural fix for issue #1