name server and proxy for machine