fixed arrow keys under Linux