Thanks for your advice Cuddles! Other problems led me to go on and install pure Debian but your info was still useful.