work in pdflatex too and remove aux files
fix multiply defined labels