Fix build with gcc-13

[roehling]

While building on Debian unstable, I noticed that a header include was missing, which was apparently included implicitly before.