Bisher wollten sie auf dem CI-Server nicht bauen.  Das Problem
ließ sich durch ein Update auf eine neuere Version von TeXlive
beheben.