Address parse_facts.c and refresh.sh to speed up the reading and adding of facts to the database.
I don't know why this is needed!