Fixes #4762: Use minicurl instead of curl when the latter is not available