small fix
script toPdf: delete aux tex file
regen pdf