debian packaging fix (quantal versions were actually unused before a4fa7535)