add a missing header to fix building with -Werror (issue #6717)