php-phpunit-git: properly obsoletes old name