debian/source.filter: more files to ignore