--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/configure	Sun Jul 10 08:41:25 2016 +0000
@@ -0,0 +1,39 @@
+#!/bin/bash
+gcc -o headers.gch -x c-header -c /dev/fd/0 <<SOURCE
+#define _XOPEN_SOURCE 9001
+#define __USE_XOPEN
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+#include <unistd.h>
+#include <math.h>
+#include <limits.h>
+#include <sys/types.h>
+#include <stdint.h>
+#include <stdbool.h>
+#include <stddef.h>
+#include <stdarg.h>
+#include <stdnoreturn.h>
+#include <stdalign.h>
+#include <ctype.h>
+#include <inttypes.h>
+#include <float.h>
+#include <errno.h>
+#include <time.h>
+#include <assert.h>
+#include <complex.h>
+#include <setjmp.h>
+#include <wchar.h>
+#include <wctype.h>
+#include <tgmath.h>
+#include <fenv.h>
+#include <locale.h>
+#include <iso646.h>
+#include <signal.h>
+#include <uchar.h>
+#include <unistd.h>
+#include <fcntl.h>
+SOURCE
+# if you have pipes in your directory, you're evil
+sed "s|%%DIRECTORY%%|$PWD|g" candide-to-conf > candide
+chmod +x candide