Comment that hardcoded "4.2" return value in gcc_selected() is for compatibility with enforce_gcc().