/usr/bin/texlogfilter /usr/bin/texlogsieve