Also prepare `runtests.py`