Some small cosmetic fixes and changes to how the carbon binary is located