path is a script to pretty-print PATH