FYI, these issues are now being tracked as https://savannah.gnu.org/support/index.php?110285 (C++11 probe is too slow) and https://savannah.gnu.org/support/index.php?110286 (need to be able to control which version of the language standard is selected). zw
