Merge "Update dlext.h header"