Ubuntu's default player worked. I've rarely used it.
Some bug in VLC with whatever codec these use, and then some system level bug allowing that to kill the whole machine.
Ubuntu's default player worked. I've rarely used it.
Some bug in VLC with whatever codec these use, and then some system level bug allowing that to kill the whole machine.