Fixed namespace issues for new designator_integration interface, and std::.