Fixup for r179843: add missing header