fix bitrot to make it work with newer texlive