Fix menuconfig