Modify key binding for mac

Replace "super" by " ctrl" to get "ctrl+alt+f".