Rename --mbr-manager into --mbr-menu