This is required for the script `run_tests_in_batch.py` to work properly: it
must be possible to identify each test by its name.