fix mmu header