--- configure.orig	2019-03-14 10:17:13.000000000 -0700
+++ configure	2019-05-04 13:11:19.000000000 -0700
@@ -7198,6 +7198,8 @@
 
 #else
 
+#include <type_traits>
+
 namespace cxx11
 {