replace: use curl instead of wget