That's an abort(). libmkv encounters an invalid file, throws an exception, vlc exits immediately.