--- gnulib/lib/malloc/scratch_buffer.h 2018-08-18 01:02:45.685731224 +0100 +++ lib/malloc/scratch_buffer.h 2018-08-18 01:08:42.942494699 +0100 @@ -18,7 +18,11 @@ #ifndef _SCRATCH_BUFFER_H #define _SCRATCH_BUFFER_H +#ifndef _LIBC +# include +#endif + /* Scratch buffers with a default stack allocation and fallback to heap allocation. It is expected that this function is used in this way: