New script to extract list of filenames for relinking.