I must prefer to use rpm rather than cpio. It will apply the patches. For MLton that doesn't matter because we don't have any patches, but for other stuff it does. Sorry for missing the name of the file.