Add new files in pkg/filelist.ml