Fix hotkeys

This works on windows with both wxWidgets-2.8 and wxWidgets-3.0
hopefully on the other platforms as well