Simplify tests/bootstrap.php