Finally fix menuconfig