The makefile generates two binaries, `gcore`, and `gcore64`, but it's broken; both are 64-bit. `ENV.universal_binary` fixes that problem in one binary. The caveat is that the `arch` command is required to force it to run in 32-bit mode when needed.