tex2pdf_docker/VERSION