Configure runtests.py properly in order to pass our tests