How to rename an Identity Manager server or hostname?