[ripcord/f32] Update to 0.4.25