Use different autossh binary depending on platform