change server alias for planet.ros.org