fix build on some GCCs by including namespace_details-inl.h