shell command segmentation fault (ICS) On Cyanogenmod 11 (Kit Kat) I was running this ffmpeg binary from the command line and it worked great.

I needed to downgrade to Cyanogenmod 9 (Ice Cream Sandwich) and now I get a segmentation fault when running the same ffmpeg binary. Is there something obvious that I should check out?
Okay, I got hold of the developer and learned that the binary isn't compatible with Android ICS or earlier. Simple as that.