[mp4tools/f32] Update to 3.8.1