It may be possible to force gcc to identify as an x64 compiler using the -arch=x86_64 or similar command line argument for the C compiler, for example via a CARGS environment variable, but I never ...