duplicate key presses on Linux, removed