Fix build errors for Android (and other 32-bit targets)

Fixes compile error on non-64-bit targets.