I just uploaded a new version of the linux port to http://www.gliebe.de/self. This version is now based on the 4.1.5 release from David Ungar. It also contains some bugfixes and is hopefully more stable than the previous version. Best regards, Harald Gliebe