Add a comment about libeay.num and ssleay.num