make right alt work as alt on the mac