# They are needed for swipl / pl addFilter("E: devel-file-in-non-devel-package *")