patch for adding ServerAliveInterval into ~/.ssh/config