Possibly fix the endless '/bin/grep: writing output: Broken pipe' output when checker finished on Python 2.6