Produce a dummy line number in runtests.py reports