MD5 (kern-small.flp) = ee560583efd0f0f7ed5e019049a6b7c3
MD5 (kern.flp) = 562a175882a910cab9e97b204921df65
MD5 (mfsroot-small.flp) = 2e8a20745415078b0627e85c2cca26bb
MD5 (mfsroot.flp) = 4c11e5c15169334ad80de7729b32dfae