fix bug: on OSX, pasting in the console window does't do anything