ofmt: get rid of the debuginfo parameter to ofmt->cleanup()