cryptol: fix reference to text library