texlive not playing nice, 10 yard penalty