We solve the problem by:

SP_dropserver 'ABC'

go

sp_addServer 'ABC', 'local'

and then stopping and restarting SQL. But this was after many things failed that relied on the @@Servername. Naturally I would like to...