* main.ml: support longer filenames for topkeys