chore: add missing include (#3774)

1 file changed