GUI does not recognize super + action

[fuzzy7k]

I am using antimicrox to control my GUI under linux. Hotkeys are the name of the game. Most of them work, like Alt+Tab. However, Super + key actions are ineffective.

Using evtest, I find that antimicrox reports the following:
"Super_L" = keycode 139 = KEY_MENU
"Menu" = keycode 127 = KEY_COMPOSE

On a real keyboard:
left super = keycode 125 = KEY_LEFTMETA
right super = keycode 126 = KEY_RIGHTMETA
menu = keycode 127 = KEY_COMPOSE