Update debian installation instructions