a system for building custom ffmpeg binaries for Android