ffmpeg library for android (uses ffmpeg executable)