Also fix compatiblity of UseLatexMk with the minted package

12 jobs for upstream-uselatexmk-fix in 7 minutes and 38 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Test
passed #193314
duneci
debian-11-gcc-9-17-python

00:03:44

passed #193305
duneci
debian:10 clang-7-libcpp-17

00:01:52

passed #193303
duneci
debian:10 gcc-7-17

00:02:17

passed #193313
iset:avx duneci
debian:10 gcc-7-17--expensive

00:07:34

passed #193304
duneci
debian:10 gcc-8-noassert-17

00:02:45

passed #193307
duneci
debian:11 gcc-10-20

00:03:09

failed #193306
duneci allowed to fail
debian:11 gcc-9-20

00:02:46

passed #193308
duneci
ubuntu:18.04 clang-5-17

00:01:36

passed #193309
duneci
ubuntu:18.04 clang-6-17

00:01:43

passed #193312
duneci
ubuntu:20.04 clang-10-20

00:02:16

passed #193311
duneci
ubuntu:20.04 gcc-10-20

00:03:59

passed #193310
duneci
ubuntu:20.04 gcc-9-20

00:02:52

 
Name Stage Failure
failed
debian:11 gcc-9-20 Test
--- Failed to build dune-common ---
Terminating dunecontrol due to previous errors!
+ exit 1
Uploading artifacts for failed job
Uploading artifacts...
junit/*.xml: found 1 matching files and directories

Uploading artifacts as "junit" to coordinator... ok
id=193306 responseStatus=201 Created token=KsvwTfpR
Cleaning up file based variables
ERROR: Job failed: exit code 1