add cast for 32bit-target