big-rwtest was changed (for new version of runtests.py)