RR: some name changes and tweaks getting the auxiliary name server to start.