android: optional ffmpeg support