Fix to kbmenu since someone changed options paths.