On 10/02/2015 06:03 AM, Stefan Monnier wrote: > autogen.sh can fail if `git' is missing. I installed the attached patch to fix that.