fix menuconfig problem