patch applied (hugs98): Add a predefinition of WinHugsStatistics