Escape hostname in curl example