*** empty log message ***
diff --git a/known.php b/known.php
index baf6a03..d67529e 100755
--- a/known.php
+++ b/known.php
@@ -17,6 +17,9 @@
 $Menu = new Menu();
 include($App->getProjectCommon());
 
+require_once($_SERVER['DOCUMENT_ROOT'] . "/projects/classes/debug.php");
+trace_file_info(__FILE__);
+
 require_once($_SERVER['DOCUMENT_ROOT'] . "/projects/classes/Bug.class.php");
 $bugs = findResolvedSecurityBugs();