Fix runtests.py