Fix build error on 32-bit OS