[boost] Re: date_time broken on intel-win32-8.0