Marc Laugharn

Try `sudo apt install libp8-platform-dev libcec-dev libva-dev libva2 libavcodec57 libavcodec-dev libsdl2-dev libvdpau-dev`

btw it worked when I used the sdl platform instead of the default 'auto'. There may be other platforms that may even work better but it's the only one I've...

Yes, just changed that line (adding --solver=classic) fixed the issue