emergency fix for broken header install
regenerate configure

(cherry picked from commit 49c704693c8fa1738b9e811f5f2d91de733c6cbf)
1 file changed