fix bitcoin.tex