Bernd,
Is that some case of self-inflicted torture?
Why insisting on using ixemul + sdl for ffmpeg and ffplay?
For ffmpeg, it may still be acceptable, but for ffplay (or any real application using ffmpeg), ixemul must really be avoided, especially as ffplay uses sdl threads, which are implemented as normal amigaos processes in our SDL libs, and it certainly can't work properly with ixemul.
So, just compile this stuff with libnix or any libc you want, as long as it doesn't use ixemul (and add missing libc functions if needed, it's not a big deal).