Hi, the distfile of said port cannot be fetched anymore. Does anyone have a mirror or can you commit a change to the port that uses a newer version of the file ? download.berlios.de is down, as it seems. Rainer