Switch to fancyvrb in protocols.tex