Fixes for Mac Tex-Live distro