Use full name of server to try to fix SSH errors