On Wed, 2016-06-29 at 10:31 +0100, Andrew Haley wrote: > On 29/06/16 10:17, Edward Nevill wrote: > > > > OK to push? > I noticed another build failure yesterday because of a missing > include > file: Seemd to build OK for me. You are building without precompiled headers? Ed.