Btw, check out curl's --resolve flag. You can use it to override default DNS resolution and can then drop the -k flag.