Also check filesystem device number to avoid double-counting