Fix phpunit complaining about missing file