[boost] Re: date_time high resolution clock for Win32