add missing include

20 jobs for devel in 44 minutes and 43 seconds (queued for 2 seconds)