fix warning cast from pointer to integer of different size (when an integer is