php-phpunit-exporter: rename