[boost] [sorting] Vault file error

I'm sorry, but I just learned that a few of the files in Vault were not recent and contained unoptimized and incorrect code. I have uploaded the new files to Vault, with the same name as before.