updated filepath of kermit.tex