Update INSTALL with a remark about finding the crypto libraries.