An alternative ssh configuration file with extended options