Roxterm: increase scrollback to 10000