addFilter("wrong-file-end-of-line-encoding .*/usr/share/doc/packages/fox17/doc/top.html")
addFilter("script-without-shebang .*/usr/bin/Adie.stx")
