fix pylint complaints about runlint.py script