Needed to regenerate runtests.py for coverage.