bin/php80
bin/php-config80
bin/phpize80
share/man/man1/php80.1.gz
share/man/man1/php-config80.1.gz
share/man/man1/phpize80.1.gz