#6029 - phpcov does not require `.php` suffix in cli tools