use wget instead of curl (installed by default on Debian/Ubuntu)