This happens because of some faulty logic in the "linux detection". Basically, they had something hardcoded to check for new linuxes, which meant version 2.x.y. Linux 3.x broke it.
Raymond Toy fixed this in March when I reported it to him (I crashed into it when working on Maxima build systems). Packaging the new upstream version will fix this bug in Debian. Rupert
pgpSIcPGKSDsf.pgp
Description: PGP signature
