Trivial fix, but needed to build. Revision bump because it seems to be needed anyway, although the include fix shouldn't change anything in an environment where it compiles without it. Closes: #7537 [via git-merge-pr]
