Linux fixup, missing include