Create bootstrap.tex