Does not compile, please help!

make menuconfig

It simply is not there. Googling that leads me to some kernel config instructions, which i do not think should be necessary for an Arduino tool. Why is it so complicated?