Check if history file exists and switch to git version of cora to support loggers