update construct.h