diff --git a/mk/stm32f4discovery.mk b/mk/stm32f4discovery.mk
index 6c819423..2b10ef4b 100644
--- a/mk/stm32f4discovery.mk
+++ b/mk/stm32f4discovery.mk
@@ -4,6 +4,8 @@ OPENCM3_TARGET=lib/stm32/f4
 EXCLUDED_SCHEMES = \
 	mupq/pqclean/crypto_kem/mceliece% \
 	mupq/crypto_sign/tuov% \
+	mupq/crypto_sign/ov-Ip% \
+	crypto_sign/ov-Ip% \
 	mupq/crypto_sign/falcon-1024-tree%
 
 include mk/opencm3.mk