registry name of "php-x86" is "php"