Include missing header 'optional'

4 jobs for master in 7 minutes and 51 seconds (queued for 2 seconds)