Fix Debian build: add missing include.