--- configure 2016-01-19 15:01:43.000000000 -0500 +++ configure 2016-06-15 16:55:50.354029000 -0400 @@ -13209,4 +13209,7 @@ /* end confdefs.h. */ +#include +#include +#include #include int