Use wget instead of curl

curl may not be installed on system, while wget for sure is
(e.g. On an Debian 6.0/Ubuntu 12.04 installation, curl isn't installed by
default, and neither on other distros AFAIK)

Change-Id: I8fccd24645f981ab8d51327476ab02822a5ce2fd