Des Rätsels Lösung: Der Mensch, der die Extension geschrieben hat, hat im Header mit chdir() das Verzeichnis gewechselt, um eine PDF Datei schreiben zu können. Das hatte zur Folge, dass die Workspace-Extension den eigenen Pfad nicht mehr gefunden hat...