add leuven-theme package to the required packages list
replace ido and smex with helm