diff --git a/software/runtime/xpulp/builtins_v2.h b/software/runtime/xpulp/builtins_v2.h
index c6162a7db..ecc25eea9 100644
--- a/software/runtime/xpulp/builtins_v2.h
+++ b/software/runtime/xpulp/builtins_v2.h
@@ -9,11 +9,13 @@
 typedef signed short v2s __attribute__((vector_size(4)));
 typedef unsigned short v2u __attribute__((vector_size(4)));
 
+#ifdef __clang__
 typedef __fp16 v2f16 __attribute__((vector_size(4)));
 typedef union {
   float f32;
   v2f16 vec;
 } v2h;
+#endif
 
 typedef signed char v4s __attribute__((vector_size(4)));
 typedef unsigned char v4u __attribute__((vector_size(4)));