check whether to use curl or wget