s3:gdbtestenv: print the server's name in the icontitle instead of "server"