texlive-core: some fixes.