Adds files required to compile d8.4.tex