Add missing #include to fix building on Linux.