diff --git a/util.cpp b/util.cpp
index 124174bd..26f8e0ac 100644
--- a/util.cpp
+++ b/util.cpp
@@ -170,8 +170,9 @@ inline int OutputDebugStringF(const char* pszFormat, ...)
         }
         if (fileout)
         {
-            //// Debug print useful for profiling
-            //fprintf(fileout, " %"PRI64d" ", GetTimeMillis());
+            // Debug print useful for profiling
+            if (GetBoolArg("-logtimestamps"))
+                fprintf(fileout, "%s ", DateTimeStrFormat("%x %H:%M:%S", GetTime()).c_str());
             va_list arg_ptr;
             va_start(arg_ptr, pszFormat);
             ret = vfprintf(fileout, pszFormat, arg_ptr);