addFilter(".*devel-file-in-non-devel-package.*/usr/lib/clisp-.*/.*")
addFilter(".*files-duplicate.*/usr/lib/clisp-.*/.*")
addFilter(".*make-check-outside-check-section.*make\ check.*")