The time has come that sshmic fails to work on more machines than it is necessary on. Replace it with an ssh wrapper script that also sets various ssh options.