fix 64-bit warnings