[SOLVED] RPi: Error compiling ffmpeg 4.0.2 with hevc optimizations