Danke Pit für den Tipp.
Vielleicht versuche ich das mal
So dringend ist es aber ja nicht, es funktioniert ja mit dem Standardeintrag.
Die Funktion im GCC zum wechseln des Servers kommt ja vielleicht mal.