Another fix for test bootstrap.php