Use exec_proxy for calling ssh. Will fallback to exec if not under Navis...

...erver.