Use `$phpEx` instead of harcoded `php`