Add missing header

Presumably included by header leakage on other platforms.