Fix missing include on GCC