Fix issue with latest TeX Live (used in Debian Stable / Ubuntu Rolling)

7 jobs for master in 17 minutes and 32 seconds (queued for 1 second)