Make sure curl uses ssl. do_curl with https currently fails on some operating systems due to old versions of curl