Slight name confusion on sac2c binaries
The DEBUG version of sac2c is called sac2c_d. This is good. The RELEASE version of sac2c is called sac2c_p. This is bad. Presumably, it meant PRODUCTION in the bad old days...
If we rename the RELEASE version to be sac2c_r, the name will make more sense.