fixing a bug that casued wesnoth to forget default wml hotkeys.