Better instructions for Debian installation