php-phpunit-phpcov: cleanups