hack not needed since phpunit autoloads