Update instructions for Debian