update 2 headers kernel/hilb.h