mkv.cpp: I was wrong, the dirent export works