Re: [boost] [config] Why don't 32-bit and 64-bit Windows DLL's have different names?