diff --git a/avoid_128bit_div.patch b/avoid_128bit_div.patch index 076dd73a0..145d448c1 100644 Binary files a/avoid_128bit_div.patch and b/avoid_128bit_div.patch differ