Add a missing #include on Linux