fix 32-bit detection