use curl istead of wget for https