Hm, why /usr/bin/make here and just make above? Is there a bug that just using "make" can trigger here?