Hi, > > [...] > > > >> What Debian release are you running? $ cat /etc/issue > > > > Debian GNU/Linux wheezy/sid > > OK. You must be mixing sources (hopefully with judicious pinning). Are you sure? $ cat /etc/issue Debian GNU/Linux wheezy/sid \n \l And I definitely do not have any packages installed from unstable or experimental... Kind regards, Ralf