don't actually need to bootstrap LaTeX, not for a while anyway...