5bbdb9e
--- src/c/printer/write_sse.d.orig	2016-12-19 03:25:00.000000000 -0700
5bbdb9e
+++ src/c/printer/write_sse.d	2017-02-23 10:40:22.505256155 -0700
5bbdb9e
@@ -12,6 +12,8 @@
5bbdb9e
  *
5bbdb9e
  */
5bbdb9e
 
5bbdb9e
+#include <ecl/config.h>
5bbdb9e
+
5bbdb9e
 #ifdef ECL_SSE2
5bbdb9e
 #include <ecl/ecl.h>
5bbdb9e
 #include <ecl/internal.h>