In case we have a packaging issue (see my previous comment), we should either not mark this bug as a duplicate of bug #1002164, or report the packaging issue separately.
In case we have a packaging issue (see my previous comment), we should either not mark this bug as a duplicate of bug #1002164, or report the packaging issue separately.