gcc-config -l showed a valid profile number (1). I then ran gcc-config with that number to set it as the active profile. # gcc-config 1