limit size of history file to 10000