Might it be possible to use `SERVERNAME` here?