Summary of changes: 96af34d... drop extra : (*) e4252ed... globally disable silent build (*) 9a51fb2... workaround time formatting problem in the test (*) (*) This commit already existed in another branch; no separate mail sent