cleanup texlive stuff in dockerfile