* use "ftp.heanet.ie" instead of "ftp.gnu.org" as GNU mirror, since the main-server does not respond (I'll revoke this change, when the main-server is usable again)