Fix bootstrap.php for phpunit 4.0