use wget instead of curl to make it more portable