Make compilation less verbose by default, because this is a mess.