diff -r 5f9e07d3dd6c -r b0c4750cecd8 make/project.xml
--- a/make/project.xml	Wed Jan 17 21:01:50 2024 +0100
+++ b/make/project.xml	Sat Jan 20 16:02:04 2024 +0100
@@ -69,7 +69,7 @@
         <test>test -n "$PANDOC"</test>
     </dependency>
 
-    <dependency name="coverage">
+    <dependency name="coverage" toolchain="gnuc">
         <cflags>\${COVERAGE_CFLAGS}</cflags>
         <ldflags>\${COVERAGE_LDFLAGS}</ldflags>
     </dependency>