removed debug trap
moved pdflatex overfull coloring into an alias