Minor improvement to test/bootstrap.php