use wget or curl (fix #1)