Update debian installation