double-checking the make menuconfig instructions