Fix warnings on 64-bit platforms about casts from pointers to ints.

Two of these were real bugs.