mkv.cpp: more debug and checks