Fix test for #4075 on 32-bit platforms