Fix phpunit to check discovery.xml (not used now)