On Wednesday, 6 July 2016 22:01:32 CEST Uri Simchoni wrote: > Hi, > > The attached patch fixes the build on my machine. > > Please push if happy (and if a fix is not already waiting in autobuild). > Thanks, > Uri I made the same patch and it landed in master last night :) -- andreas