Fix check_php_version for versions that contain a patchlevel.