Clean 1.3.1 is now available for Linux (Intel) with libc6/glibc2. Previous versions used libc5. This version was developed and tested on RedHat 6.0 Linux. It will probably also work on other versions of Linux with glibc2. The new version can be downloaded from: http://www.cs.kun.nl/~clean/download.html