updated NameConfig with manual name server override