Better checking of PHP version both when the extension is statically and dynamically compiled with the phpize command