fix filename of seen.db files