Fix php detection
Merge pull request #439 from nlegoff/fix_php_detection

[3.8] Fix php detection