Fix missing include on linux