Fix missing include on Linux