Marco Bodrato <bodrato at mail.dm.unipi.it> writes: The speed-up is noticeable. Before the patch. real 6m39.725s After the patch. real 3m47.247s Almost 2x speedup, awesome! -- Torbjörn Please encrypt, key id 0xC8601622