Fix x86-32 test