Check PHP version installed, not the one wanted for #37