elaborating code for mfsroot