Should fix 32-bit Intel