amin.tex is added