add missing header to fix build with MSVC 14.27

1 job for master in 5 minutes and 47 seconds (queued for 2 seconds)