Make sure obj_xref.h is updated during a "make update"