diff --git a/src/system/kernel/util/kernel_cpp.cpp b/src/system/kernel/util/kernel_cpp.cpp
index adfd45c7f3..cdeffeb62f 100644
--- a/src/system/kernel/util/kernel_cpp.cpp
+++ b/src/system/kernel/util/kernel_cpp.cpp
@@ -119,7 +119,7 @@ puts(const char *string)
 
 #endif	// __GNUC__ >= 3
 
-#if __GNUC__ >= 4
+#if __GNUC__ >= 4 && !defined(USING_LIBGCC)
 
 extern "C"
 void