@mvidner um, I'm not sure, I don't like the idea of changing `$PATH` much....