Yes, for some reason the mangling code does change the patch, but it still applies the 32bit version.
On it!