[PATCH] Have make be more silent by default