(Hopefully) fix another 32-bit test failure