Danke!
Jetzt kann ich das erfolgreich linken. Ausserdem weiss ich jetzt, was dieses komische "extern"-Wort macht und dass ich irgendwie nicht in der Lage bin, "extern" richtig zu schreiben, weil ich jedes Mal "exterm" geschrieben habe. Wohl zu viel am xterm gearbeitet.