Re: Should I bump cryptopp soname?