I wonder if there is a simpler way to the change of domain name for the HUBzero without installing from scratch again. I changed /etc/hosts and /etc/hostname and it seems working okay, but filexfer package is still using the old domain name.