Bug 942492 - Add a missing #include to a header that really needs it - no review, trivial compilation fix