use wget for download if available, else use curl
fix the downloader in cases when the download url is not for php source