These files must not be loaded by phpunit