I'm in the process of building my own minimal build for the 6D, however I noticed that the movie recording time (usually shown in the top right corner) is not visible. What function should I look for, and where is the function related to the debugging info found in the same area (there are some other numbers which I think are related to buffer in the top right corner)?