* src/libmach/vobj.c: put back