SYSADMIN-4260: Renamed production server.