In C++ modules globally unique module names seem to be unavoidable