Add missing header file