minor adjustments

use g++ to get the “14SS” output.