On Wed, May 17, 2017 at 17:16:20 +0200, "Jason A. Donenfeld" <Jason at zx2c4.com> wrote: >Hi again, > >I think I might have fixed this. > >git fetch && git reset --hard origin/master > >And then see if it builds now? It builds now. In about 15 minutes I'll have it tested.