replace wget by curl for osx