Use of PHP_BINARY instead of php

[tomolimo]

To be sure that the same php executable will be used than for the "run.php"