Debian install seems to have gone wrong. So here we go again.