Change from wget to curl due to lack of transparent compression support in wget