Hah. Let's combine your pain and mine. I actually use FFmpeg daily in Android. Terminal, indeed.