#[jeremycherfas]OK, this is weird. If I run `php -version` from Terminal, I get 7.2.4 But if I run the same command using Shortcuts run Script over SSH, I get 5.3.6. The only difference I can think of is that Terminal is passwordless login, while Shortcuts is user and pw.