Make standard OS X "Hide Others" keystroke work