[boost] Re: [config] _WIN32 question