Ssh "security hole": proposed fix