i've hunted around for a bit; hostname resolution is surprisingly complicated and inconsistent