chef cookbook for TeXLive