Comment 1 for bug 375043

The fix for this is in bug 375047 (a merge request that bundles this patch). My fix was to use the actual patch committed to upstream for the issue. Debian had been shipping an early version of the patch that didn't fix all installed headers.