Compilation: add missing include.