add missing include for Boost 1.76

7 jobs for pr/77 in 4 minutes and 24 seconds (queued for 2 seconds)