exec: user ip instead of hostname by default
exec: print correct server name