large guifont now also when connecting via SSH