[PATCH] Make make more silent.