bin/php71
bin/php-config71
bin/phpize71
share/man/man1/php71.1.gz
share/man/man1/php-config71.1.gz
share/man/man1/phpize71.1.gz