On Mon, Nov 23, 2015 at 1:57 PM, Ian Romanick <idr at freedesktop.org> wrote: > Have you built this series with debug and release builds? There have > been cases in the past where removing or changing headers worked fine in > one but not the other. Yes.