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.
