fixed a couple of download sites (mostly related to the heanet failure) and fixed the wget usage in some firewalled setups)