Fix missing include to make GCC happy