Updated installation instr. for GNU/Linux Debian.