these files need to be redistributed to avoid having to run autogen.sh