Fix for building 32 bits FLINT on PowerPC G5.
Note that passing -m64 and -mcpu/-mtune flags should be the user
responsibility, either by setting ABI for the former, or by modifying
CFLAGS/FLINT_TUNE for the latter.