Jean-Marc Zucconi wrote: > I will upgrade the port to > 4.1-12 after the freeze. Right now I saw that 4.1-14.2 is current. An update to 4.1-12 won't improve the situation. ;-) Regards Björn -- Björn König (bkoenig at cs.tu-berlin.de) student at the Technische Universität Berlin http://bkoenig.alpha-tierchen.de/