[core] fix 32 bit support