libgnutls-dev is a suitable substitute for libssl-dev when one wants libssl. However, libssl-dev provides *two* libraries; the other is libcrypto. Is there a GPL-compatible replacement for the latter? Thomas