Galois: Makefile uses 64-bit when available.