Re #7415. Don't print out the timer info on windoze.
Merge branch 'feature/7415_vision_performance' into develop