# Nobody would ever have separate partitions for /usr/share/icons/hicolor and/or /usr/share/icons/gnome
addFilter("W: cross-directory-hard-link /usr/share/icons/[^ ]* /usr/share/icons/[^ ]*$")