Fix 'cast from pointer to integer of different size' on 64bit architectures. Casting...