patches to OBJ-IO