<div dir="ltr"><div class="gmail_extra">Thanks once again:</div><div class="gmail_extra"><br></div><div class="gmail_extra">Here is what it runs:</div><div class="gmail_extra"><br></div><div class="gmail_extra">
<p class="gmail-p1"><span class="gmail-s1">-rw-r--r-- 1 root staff 11598536 Jun 15 09:13 /usr/local/texlive/2017/tlpkg/texlive.tlpdb</span></p></div></div>