Fix possible timing leak on 32-bit platforms