Re: [Boost-users] Changing the default lib extension