Huh. I don't know what I did, but it seems that somewhere I did something right (tried everything I said and dpkg-reconfigure...) Well, at least I now have bash 3.2 --Valentin