don't specify server name, so that we can be more portable