changes to facilitate compilation on some TeXLive installations