[Andrei] small $PATH fix