Rename the directory mman to pools
Rename directories univ-* to machine-* because univ(universal) is the inappropriate word to add CPU-dependent files