Re: [PATCH] fix development --with vanilla build

[Roland McGrath]

I committed a slightly different fix for this.  Note it should be quite
temporary as the relevant patches are on the queue upstream.