The FFmpeg team have fixed the segfault in 1080 playback on Android Oreo. I have reverted my workaround commit and updated to the latest FFmpeg 4.0.2. Peter