cmdline/apt-get.cc make only the server configurable, but not the format string ...