(delete_frame): Work around compiler bug.