/dev-util/objprelink/