add missing header stuff