Re: today's git does not compile