add an ugly workaround so that repo_write knows how to deal with filelist extensions