Put mapleader definition into the mappings section