C++ modules: don't lose track of a 'namespace std' that is imported from a module.