Learn more about these different git repos.
Other Git URLs
1eebbcf
Fix make dist builds with automake 1.15 Do this by removing directives that we do not really depend on.