Update build instructions for Debian.