I finally got around to installing the new version (with the run-time fix
in place).  When I precompile EiffelBase, the C code all compiles but the
link fails with:

/home/eiffel/Eiffel13.11.93542/studio/spec/linux-x86/lib/libwkbench.a(interp.o): In function `interpret':
interp.c:(.text+0xd39e): undefined reference to `__divdi3'
interp.c:(.text+0xd46c): undefined reference to `__udivdi3'
interp.c:(.text+0xd952): undefined reference to `__moddi3'
interp.c:(.text+0xdbf4): undefined reference to `__umoddi3'
/home/eiffel/Eiffel13.11.93542/studio/spec/linux-x86/lib/libwkbench.a(wmisc.o): In function `eif_sleep':
misc.c:(.text+0x266): undefined reference to `__divdi3'
misc.c:(.text+0x28b): undefined reference to `__moddi3'

Looks like the runtime was compiled with gcc instead of cc.

Can you give me a new version?  I think I just need the contents of
$ISE_EIFFEL/studio/spec/linux-x86/lib where runtime is compiled with Sun cc.