Switch to newer MIT nameservers