Fix a missing include that was causing problems on some platforms

4 jobs for new-cantera in 14 minutes and 48 seconds (queued for 2 seconds)