--- gcc/ginclude/stddef.h.orig	2016-07-13 20:09:00.895241601 +0000
+++ gcc/ginclude/stddef.h.orig	2016-07-13 20:21:21.200265291 +0000
@@ -323,7 +323,7 @@ 
 #ifndef __WCHAR_TYPE__
 #define __WCHAR_TYPE__ int
 #endif
-#ifndef __cplusplus
+#if 0
 typedef __WCHAR_TYPE__ wchar_t;
 #endif
 #endif