declare remove_wml_hotkey in hotkeys.hpp