update Debian installation