This fixes a presubmit error:
https://ci.chromium.org/p/v8/builders/luci.v8.ci/V8%20Presubmit/454

It also adds another missing include.

R=machenbach@chromium.org
CC=caitp@igalia.com

Bug: v8:7490
Change-Id: I915a5bf431073410a67ff08471fd5e6974e31aa1
No-Try: true
No-Tree-Checks: true
Reviewed-on: https://chromium-review.googlesource.com/c/1346111Reviewed-by: Michael Achenbach <machenbach@chromium.org>
Commit-Queue: Clemens Hammacher <clemensh@chromium.org>
Cr-Commit-Position: refs/heads/master@{#57671}