ant: handle proxies
zsh: use line-drawing chars for tree