xmodmap not needed if you set XQuartz Preferences Option Keys Send Alt