filter/derivative.hh: add missing include