use the latest version of jquery.hotkeys.js, which fixes IE9 issues