kc3-lang/kc3

diff --git a/libc3/configure b/libc3/configure
index 1d3d309..abbb223 100755
--- a/libc3/configure
+++ b/libc3/configure
@@ -78,7 +78,7 @@ fi
 CFLAGS="$CFLAGS -DNDEBUG"
 LIBS="$LIBS"
 
-make -f gen.mk
+${MAKE} -f gen.mk
 
 echo "LIB = $LIB" >> ${CONFIG_MK}
 echo "HAVE_ASAN = $HAVE_ASAN" >> ${CONFIG_MK}
diff --git a/test/Makefile b/test/Makefile
index 386a11d..07be738 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -80,7 +80,9 @@ test_asan: libc3_test_asan
 	time ./libc3_test_asan
 	IC3=${SRC_TOP}/ic3/ic3_asan time ./ic3_test
 
-test_cov: libc3_test_cov ic3_test_cov
+test_cov:
+	time ./libc3_test_cov
+	IC3=${SRC_TOP}/ic3/ic3_cov time ./ic3_test
 
 test_debug: libc3_test_debug
 	time ./libc3_test_debug