John Wiegley wrote:

>    keyboard.c:5466:11: error: use of undeclared identifier 'used_mouse_menu'

I installed the attached seemingly-obvious fix. I don't use macOS, though, so 
another pair of eyes would be helpful.