Enable PuTTY command line to deal with "user@host" format