Fix imports in `runtests.py`.