Do explicit mirror resolve with curl

Kristian Klausenrequested to merge
klausenbusk/arch-boxes:curl into master

host suddenly doesn't understands hostname with https://. I'm not sure it did before, it could be DNS server doing some magic.

Merge request reports