RE: [boost] [config] _WIN32 question