This header is no longer used, so we can delete it. I also tweaked Makefile.am to fix the distcheck test.
Attach a file by drag & drop or click to upload
