setl programming language under linux-emulation

[l0kit0 at exactas.org]

hi,
i need to make setl programming language 
(http://cs1.cs.nyu.edu/bacon/download-setl.html) work under freebsd5 (for 
discrete math lab), no srcs available, i just found linux2.0.18 binary (from 
latter link), the problem is that this is linked to libc.so.5 and it seems to 
be broken compatibility with the one in /comat/linux/lib (libc.so.6), so, it 
wont work.

whats the best thing to do?, ive to get an old libc src and compile it?, if 
so, give some directions to start, if not, give me some hint :),

thanks in advance