Thomas Shackell wrote: > As for the issue of shared libraries, raised by someone else, no they > aren't strictly necessary, indeed I'll add a patch to optionally remove > them (should take about 2 minutes). Done :-) Uncomment #define NO_SHARED in platform.h Tom