Correctly use the flag to determine whether GPRs are 64-bit.

Fixes #4