iOS: fix two 64 bit warnings