Update for the random renaming of files that boost seems to do.