use Eric's magic DNS servers