Debian GNU/Linux 3.1 updated