On Mon, 16 Dec 2013 11:45, wachs at net.in.tum.de said: > It now compiles on all machines... Is it okay to do a release now? Salam-Shalom, Werner -- Die Gedanken sind frei. Ausnahmen regelt ein Bundesgesetz.