Make history.c no longer dependent on menu