Now there’s plenty of 32-bit support in the Arduino ... named something like /tmp/arduino_build_XXXXXX where the XXXXXX is a number. Your source code will be in this directory named something ...