use PHP_BINARY (or PHP_BINDIR) to execute php processes