#!/bin/sh

"$(dirname $0)"/filter_linenos | sed 's/Is a directory/is a directory/' \
 | sed 's/cannot execute binary file: Exec format error/cannot execute binary file/'
