addFilter("python-petsc4py.*devel-file-in-non-devel-package")
