> Do you have any notion of what is needed for cmcat? Yes. On my machine, in /usr/local/src/sml-nj-110.9.1/bin, I have soft link cmcat -> /usr/local/src/sml-nj-110.9.1/bin/.run-sml script .run-sml runtime system .run/run.x86-linux heap file .heap/cmcat.x86-linux I think that's all you need.