update to mman.h