Replaced the posted (and probably useless) master-based patch with a v2.0.0-based patch (after reproducing the fixed-in-master problem using v2.0.0 sources on a 32bit platform).
Replaced the posted (and probably useless) master-based patch with a v2.0.0-based patch (after reproducing the fixed-in-master problem using v2.0.0 sources on a 32bit platform).