add missing header file (bb#796)