this are automatically set by run-tests.php