Do not force old_short_name if already set in db/drushrc, to avoid overriding old_short_name defined in the profile file directly.