Fix crashing on 32-bit devices