fixed #57 Linux emulation does not seem to support Ctrl+Arrows (warning: I have no clue what I did...)