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