Yes, that does work fine.  Just a bloody nuisance!  It should default to `php` or `/usr/bin/env php`



Regards,
Joseph David Borġ
josephb.org


On 13 May 2014 16:45, Glenn Morris <rgm@gnu.org> wrote:
Joe Borġ wrote:

> Thanks for your help.  I'm going to create a pull request with a fix for
> them.

Great! (AFAICS, just defaulting php-executable to "php" would be enough.)