Need to include deflate.h in EXTRA_DIST so that it gets included in the tarball. I don't know whether we actually need it in INTGGSOURCES, but there are other header files listed there so it seems unlikely to cause harm.