Change the domain name of the "old hackage server"