bugfix in phpunit configuration