tweaking scriptfilter.py logging