replace wget with curl

* wget is no prerequisite and missing eg. on OSX