Use readable server names when constructing roledefs