Mit viel Gefummel (war noch mehr krumm) hat das mit den update-alternatives nun offenbar geholfen.

Danke euch!