I propose adding -Wall (back) into the set of default CFLAGS. I think it was removed by an icc patch ages ago. Having those extra warnings cannot hurt, on the contrary, hopefully some more warnings will get fixed. Opinions? Objections? Diego